- new type parameter
- 新类型参数
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
New Order discography — New Order discography Releases ↙Studio albums 8 ↙Live albums 3 … Wikipedia
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
Type II supernova — The expanding remnant of SN 1987A, a Type II P supernova in the Large Magellanic Cloud. NASA image. A Type II supernova (plural: supernovae) results from the rapid collapse and violent explosion of a massive star. A star must have at least 9… … Wikipedia
mm'-type filter — Linear analog electronic filters Network synthesis filters Butterworth filter Chebyshev filter Elliptic (Cauer) filter Bessel filter Gaussian filter Optimum L (Legendre) filter Linkwitz Riley filter … Wikipedia
Array data type — Not to be confused with Array data structure. In computer science, an array type is a data type that is meant to describe a collection of elements (values or variables), each selected by one or more indices that can be computed at run time by the … Wikipedia
Economics of new nuclear power plants — The economics of new nuclear power plants is a controversial subject, since there are diverging views on this topic, and multi billion dollar investments ride on the choice of an energy source. Nuclear power plants typically have high capital… … Wikipedia
Algebraic data type — In computer programming, particularly functional programming and type theory, an algebraic data type (sometimes also called a variant type[1]) is a datatype each of whose values is data from other datatypes wrapped in one of the constructors of… … Wikipedia
Binomial type — In mathematics, a polynomial sequence, i.e., a sequence of polynomials indexed by { 0, 1, 2, 3, ... } in which the index of each polynomial equals its degree, is said to be of binomial type if it satisfies the sequence of identities:p n(x+y)=sum… … Wikipedia
Internet media type — An Internet media type,[1] originally called a MIME type after MIME (Multipurpose Internet Mail Extensions) and sometimes a Content type after the name of a header in several protocols whose value is such a type, is a two part identifier for file … Wikipedia
Linear type system — A linear type system is a particular form of type system used in a programming language. Linear type systems allow references but not aliases. To enforce this, a reference goes out of scope after appearing on the right hand side of an assignment … Wikipedia